Goto

Collaborating Authors

 Planning & Scheduling


Monte-Carlo Planning in Continuous Space MDPs with Non-Asymptotic Analysis ECE and CSL University of Illinois at Urbana-Champaign University of Illinois at Urbana-Champaign Tamer BaลŸar ORIE

Neural Information Processing Systems

Monte-Carlo planning, as exemplified by Monte-Carlo Tree Search (MCTS), has demonstrated remarkable performance in applications with finite spaces. In this paper, we consider Monte-Carlo planning in an environment with continuous state-action spaces, a much less understood problem with important applications in control and robotics.


Get 50% off a dual-camera drone that's great for beginners

Mashable

TL;DR: Become a drone photographer with this ideal model for newbies, the 4K Dual-Camera Drone for Beginners with Intelligent Obstacle Avoidance, now on sale for 50% off at just 59.99. Looking to spend more time outdoors this spring? If you're looking for a hobby that helps you take advantage of the gorgeous weather, drone photography is a great option. And right now, this 4K Dual-Camera Drone for Beginners with Intelligent Obstacle Avoidance can be yours for only 59.99 (reg. Drone photography can be a fun hobby that helps you spend more time in the great outdoors.


Distortion Bounds of Subdivision Models for SO(3)

arXiv.org Artificial Intelligence

In the subdivision approach to robot path planning, we need to subdivide the configuration space of a robot into nice cells to perform various computations. For a rigid spatial robot, this configuration space is $SE(3)=\mathbb{R}^3\times SO(3)$. The subdivision of $\mathbb{R}^3$ is standard but so far, there are no global subdivision schemes for $SO(3)$. We recently introduced a representation for $SO(3)$ suitable for subdivision. This paper investigates the distortion of the natural metric on $SO(3)$ caused by our representation. The proper framework for this study lies in the Riemannian geometry of $SO(3)$, enabling us to obtain sharp distortion bounds.


Cooperative Hybrid Multi-Agent Pathfinding Based on Shared Exploration Maps

arXiv.org Artificial Intelligence

Multi-Agent Pathfinding is used in areas including multi-robot formations, warehouse logistics, and intelligent vehicles. However, many environments are incomplete or frequently change, making it difficult for standard centralized planning or pure reinforcement learning to maintain both global solution quality and local flexibility. This paper introduces a hybrid framework that integrates D* Lite global search with multi-agent reinforcement learning, using a switching mechanism and a freeze-prevention strategy to handle dynamic conditions and crowded settings. We evaluate the framework in the discrete POGEMA environment and compare it with baseline methods. Experimental outcomes indicate that the proposed framework substantially improves success rate, collision rate, and path efficiency. The model is further tested on the EyeSim platform, where it maintains feasible Pathfinding under frequent changes and large-scale robot deployments.


Bimanual Regrasp Planning and Control for Eliminating Object Pose Uncertainty

arXiv.org Artificial Intelligence

--Precisely grasping an object is a challenging task due to pose uncertainties. Conventional methods have used cameras and fixtures to reduce object uncertainty. They are effective but require intensive preparation, such as designing jigs based on the object geometry and calibrating cameras with high-precision tools fabricated using lasers. In this study, we propose a method to reduce the uncertainty of the position and orientation of a grasped object without using a fixture or a camera. Our method is based on the concepts that the flat finger pads of a parallel gripper can reduce uncertainty along its opening/closing direction through flat surface contact. Three orthogonal grasps by parallel grippers with flat finger pads collectively constrain an object's position and orientation to a unique state. Guided by the concepts, we develop a regrasp planning and admittance control approach that sequentially finds and leverages three orthogonal grasps of two robotic arms to eliminate uncertainties in the object pose. We evaluated the proposed method on different initial object uncertainties and verified that the method have satisfactory repeatability accuracy. It outperforms an AR marker detection method implemented using cameras and laser jet printers under standard laboratory conditions. Significant challenge in robotic manipulation lies in addressing the uncertainties associated with object grasping. The uncertainties often arise from errors in environmental registration, inaccuracies in object pose recognition, and unbalanced contact during grasping that leads to pose deviations. The uncertainties can result in discrepancies between the actual and expected pose of objects or tools, potentially causing task failures.


Google can save locations you screenshot in Maps to help with travel planning

Engadget

It might be around that time of year when you're starting to figure out your summer vacation plans. Google has revealed some new features that can help with that, including a handy AI-powered one for Maps. If you turn on the new screenshot list, Gemini can automatically recognize locations that are mentioned in screenshots you take in the app. You can then save the places you're interested in to a list. These saved spots will appear on the map, and you can share the list with your travel companions.



Transformer-based Planning for Symbolic Regression

Neural Information Processing Systems

Symbolic regression (SR) is a challenging task in machine learning that involves finding a mathematical expression for a function based on its values. Recent advancements in SR have demonstrated the effectiveness of pre-trained transformer models in generating equations as sequences, leveraging large-scale pre-training on synthetic datasets and offering notable advantages in terms of inference time over classical Genetic Programming (GP) methods. However, these models primarily rely on supervised pre-training objectives borrowed from text generation and overlook equation discovery goals like accuracy and complexity. To address this, we propose TPSR, a Transformer-based Planning strategy for Symbolic Regression that incorporates Monte Carlo Tree Search planning algorithm into the transformer decoding process. Unlike conventional decoding strategies, TPSR enables the integration of non-differentiable equation verification feedback, such as fitting accuracy and complexity, as external sources of knowledge into the transformer equation generation process. Extensive experiments on various datasets show that our approach outperforms state-of-the-art methods, enhancing the model's fitting-complexity trade-off, extrapolation abilities, and robustness to noise


LM: Satisfiability-Aided Language Models Using Declarative Prompting

Neural Information Processing Systems

Prior work has combined chain-of-thought prompting in large language models (LLMs) with programmatic representations to perform effective and transparent reasoning. While such an approach works well for tasks that only require forward reasoning (e.g., straightforward arithmetic), it is less effective for constraint solving problems that require more sophisticated planning and search.